Verification condition generation and discharge in a hoare logic with recursion
- Författare
- Andreas Lundblad
- (Andreas Lundblad., Examensarbete)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Numerisk analys och datalogi, Kungliga Tekniska högskolan | 2007 | Sverige, Stockholm | 46 sidor. |